(0
 (
  ("(x 3)" 3 10)
  ("(x 4)" 10 13)
  ("(x 5)" 13 17)
  ("(x 6)" 17 37)
  ("(x 5)" 37 41)
  ("(x 4)" 41 45)
  ("(x 3)" 45 77)
  ("(x 2)" 77 85)
  ("(x 1)" 85 106)
  ("(x down)" 4 27)
  ("(x up)" 27 49)
  ("(x stable)" 49 52)
  ("(x up)" 52 66)
  ("(x stable)" 66 67)
  ("(x up)" 67 106)
  ("(y 5)" 3 10)
  ("(y 6)" 10 21)
  ("(y 5)" 21 27)
  ("(y 4)" 27 45)
  ("(y 5)" 45 72)
  ("(y 4)" 72 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 84)
  ("(y 1)" 84 106)
  ("(y down)" 4 17)
  ("(y up)" 17 37)
  ("(y stable)" 37 38)
  ("(y down)" 38 53)
  ("(y stable)" 53 57)
  ("(y up)" 57 100)
  ("(y stable)" 100 101)
  ("(y down)" 101 106)
 ))
(1
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 11)
  ("(x 4)" 11 14)
  ("(x 5)" 14 16)
  ("(x 6)" 16 36)
  ("(x 5)" 36 38)
  ("(x 4)" 38 41)
  ("(x 3)" 41 44)
  ("(x 2)" 44 81)
  ("(x 3)" 81 91)
  ("(x 2)" 91 103)
  ("(x 1)" 103 105)
  ("(x down)" 4 26)
  ("(x up)" 26 50)
  ("(x stable)" 50 64)
  ("(x down)" 64 71)
  ("(x stable)" 71 76)
  ("(x down)" 76 87)
  ("(x up)" 87 105)
  ("(y 5)" 3 7)
  ("(y 6)" 7 20)
  ("(y 5)" 20 25)
  ("(y 4)" 25 34)
  ("(y 3)" 34 37)
  ("(y 4)" 37 48)
  ("(y 5)" 48 71)
  ("(y 4)" 71 79)
  ("(y 3)" 79 83)
  ("(y 2)" 83 86)
  ("(y 1)" 86 105)
  ("(y down)" 4 15)
  ("(y up)" 15 35)
  ("(y stable)" 35 36)
  ("(y down)" 36 53)
  ("(y stable)" 53 57)
  ("(y up)" 57 64)
  ("(y stable)" 64 70)
  ("(y up)" 70 102)
  ("(y down)" 102 105)
 ))
(2
 (
  ("(x 1)" 3 12)
  ("(x 2)" 12 14)
  ("(x 3)" 14 16)
  ("(x 4)" 16 18)
  ("(x 5)" 18 21)
  ("(x 6)" 21 40)
  ("(x 5)" 40 43)
  ("(x 4)" 43 45)
  ("(x 3)" 45 48)
  ("(x 2)" 48 75)
  ("(x 3)" 75 89)
  ("(x 4)" 89 98)
  ("(x up)" 4 7)
  ("(x down)" 7 30)
  ("(x stable)" 30 31)
  ("(x up)" 31 54)
  ("(x stable)" 54 64)
  ("(x down)" 64 94)
  ("(x stable)" 94 98)
  ("(y 5)" 3 13)
  ("(y 6)" 13 25)
  ("(y 5)" 25 30)
  ("(y 4)" 30 36)
  ("(y 3)" 36 45)
  ("(y 4)" 45 51)
  ("(y 5)" 51 67)
  ("(y 4)" 67 71)
  ("(y 3)" 71 75)
  ("(y 2)" 75 79)
  ("(y 1)" 79 98)
  ("(y down)" 4 20)
  ("(y up)" 20 41)
  ("(y down)" 41 58)
  ("(y stable)" 58 61)
  ("(y up)" 61 95)
  ("(y stable)" 95 96)
  ("(y down)" 96 98)
 ))
(3
 (
  ("(x 1)" 3 8)
  ("(x 2)" 8 12)
  ("(x 3)" 12 14)
  ("(x 4)" 14 16)
  ("(x 5)" 16 19)
  ("(x 6)" 19 39)
  ("(x 5)" 39 42)
  ("(x 4)" 42 45)
  ("(x 3)" 45 48)
  ("(x 2)" 48 93)
  ("(x 3)" 93 94)
  ("(x down)" 4 29)
  ("(x up)" 29 67)
  ("(x down)" 67 78)
  ("(x stable)" 78 90)
  ("(x down)" 90 94)
  ("(y 5)" 3 10)
  ("(y 6)" 10 24)
  ("(y 5)" 24 28)
  ("(y 4)" 28 33)
  ("(y 3)" 33 45)
  ("(y 4)" 45 51)
  ("(y 5)" 51 64)
  ("(y 4)" 64 69)
  ("(y 3)" 69 72)
  ("(y 2)" 72 76)
  ("(y 1)" 76 94)
  ("(y down)" 4 19)
  ("(y up)" 19 40)
  ("(y down)" 40 58)
  ("(y stable)" 58 59)
  ("(y up)" 59 91)
  ("(y stable)" 91 92)
  ("(y down)" 92 94)
 ))
(4
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 12)
  ("(x 4)" 12 14)
  ("(x 5)" 14 17)
  ("(x 6)" 17 38)
  ("(x 5)" 38 41)
  ("(x 4)" 41 44)
  ("(x 3)" 44 48)
  ("(x 2)" 48 104)
  ("(x up)" 4 5)
  ("(x down)" 5 26)
  ("(x stable)" 26 27)
  ("(x up)" 27 52)
  ("(x stable)" 52 56)
  ("(x up)" 56 68)
  ("(x stable)" 68 73)
  ("(x down)" 73 86)
  ("(x stable)" 86 87)
  ("(x up)" 87 98)
  ("(x stable)" 98 99)
  ("(x down)" 99 104)
  ("(y 5)" 3 10)
  ("(y 6)" 10 21)
  ("(y 5)" 21 27)
  ("(y 4)" 27 46)
  ("(y 5)" 46 70)
  ("(y 4)" 70 75)
  ("(y 3)" 75 79)
  ("(y 2)" 79 82)
  ("(y 1)" 82 104)
  ("(y down)" 4 16)
  ("(y up)" 16 37)
  ("(y stable)" 37 38)
  ("(y down)" 38 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 100)
  ("(y down)" 100 104)
 ))
(5
 (
  ("(x 1)" 3 8)
  ("(x 2)" 8 11)
  ("(x 3)" 11 13)
  ("(x 4)" 13 14)
  ("(x 5)" 14 16)
  ("(x 6)" 16 34)
  ("(x 5)" 34 38)
  ("(x 4)" 38 41)
  ("(x 3)" 41 48)
  ("(x 2)" 48 89)
  ("(x down)" 4 25)
  ("(x up)" 25 72)
  ("(x stable)" 72 73)
  ("(x down)" 73 80)
  ("(x stable)" 80 87)
  ("(x down)" 87 89)
  ("(y 5)" 3 10)
  ("(y 6)" 10 20)
  ("(y 5)" 20 27)
  ("(y 4)" 27 43)
  ("(y 5)" 43 58)
  ("(y 4)" 58 62)
  ("(y 3)" 62 65)
  ("(y 2)" 65 69)
  ("(y 1)" 69 89)
  ("(y down)" 4 16)
  ("(y up)" 16 35)
  ("(y stable)" 35 36)
  ("(y down)" 36 52)
  ("(y up)" 52 85)
  ("(y stable)" 85 86)
  ("(y down)" 86 89)
 ))
(6
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 13)
  ("(x 4)" 13 15)
  ("(x 5)" 15 17)
  ("(x 6)" 17 35)
  ("(x 5)" 35 38)
  ("(x 4)" 38 42)
  ("(x 3)" 42 56)
  ("(x 2)" 56 93)
  ("(x stable)" 4 5)
  ("(x down)" 5 26)
  ("(x up)" 26 67)
  ("(x stable)" 67 70)
  ("(x up)" 70 88)
  ("(x stable)" 88 93)
  ("(y 5)" 3 12)
  ("(y 6)" 12 22)
  ("(y 5)" 22 30)
  ("(y 4)" 30 46)
  ("(y 5)" 46 61)
  ("(y 4)" 61 66)
  ("(y 3)" 66 70)
  ("(y 2)" 70 74)
  ("(y 1)" 74 93)
  ("(y down)" 4 17)
  ("(y stable)" 17 18)
  ("(y up)" 18 38)
  ("(y stable)" 38 39)
  ("(y down)" 39 54)
  ("(y up)" 54 90)
  ("(y down)" 90 93)
 ))
(7
 (
  ("(x 2)" 3 11)
  ("(x 3)" 11 13)
  ("(x 4)" 13 15)
  ("(x 5)" 15 17)
  ("(x 6)" 17 36)
  ("(x 5)" 36 40)
  ("(x 4)" 40 43)
  ("(x 3)" 43 52)
  ("(x 2)" 52 93)
  ("(x stable)" 4 5)
  ("(x down)" 5 25)
  ("(x stable)" 25 26)
  ("(x up)" 26 67)
  ("(x stable)" 67 69)
  ("(x down)" 69 77)
  ("(x stable)" 77 89)
  ("(x down)" 89 93)
  ("(y 5)" 3 10)
  ("(y 6)" 10 23)
  ("(y 5)" 23 29)
  ("(y 4)" 29 36)
  ("(y 3)" 36 41)
  ("(y 4)" 41 48)
  ("(y 5)" 48 61)
  ("(y 4)" 61 66)
  ("(y 3)" 66 70)
  ("(y 2)" 70 74)
  ("(y 1)" 74 93)
  ("(y down)" 4 18)
  ("(y up)" 18 39)
  ("(y down)" 39 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 89)
  ("(y stable)" 89 90)
  ("(y down)" 90 93)
 ))
(8
 (
  ("(x 3)" 3 5)
  ("(x 4)" 5 9)
  ("(x 5)" 9 13)
  ("(x 6)" 13 35)
  ("(x 5)" 35 38)
  ("(x 4)" 38 40)
  ("(x 3)" 40 44)
  ("(x 2)" 44 95)
  ("(x 1)" 95 105)
  ("(x down)" 4 24)
  ("(x up)" 24 50)
  ("(x stable)" 50 59)
  ("(x down)" 59 66)
  ("(x stable)" 66 73)
  ("(x up)" 73 104)
  ("(x stable)" 104 105)
  ("(y 5)" 3 10)
  ("(y 6)" 10 17)
  ("(y 5)" 17 24)
  ("(y 4)" 24 42)
  ("(y 5)" 42 71)
  ("(y 4)" 71 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 84)
  ("(y 1)" 84 105)
  ("(y down)" 4 14)
  ("(y up)" 14 34)
  ("(y down)" 34 51)
  ("(y stable)" 51 55)
  ("(y up)" 55 101)
  ("(y down)" 101 105)
 ))
(9
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 11)
  ("(x 4)" 11 13)
  ("(x 5)" 13 16)
  ("(x 6)" 16 35)
  ("(x 5)" 35 40)
  ("(x 4)" 40 43)
  ("(x 3)" 43 48)
  ("(x 2)" 48 97)
  ("(x down)" 4 25)
  ("(x up)" 25 54)
  ("(x stable)" 54 68)
  ("(x up)" 68 85)
  ("(x stable)" 85 97)
  ("(y 5)" 3 11)
  ("(y 6)" 11 21)
  ("(y 5)" 21 27)
  ("(y 4)" 27 46)
  ("(y 5)" 46 65)
  ("(y 4)" 65 70)
  ("(y 3)" 70 74)
  ("(y 2)" 74 77)
  ("(y 1)" 77 97)
  ("(y down)" 4 17)
  ("(y up)" 17 37)
  ("(y down)" 37 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 92)
  ("(y stable)" 92 93)
  ("(y down)" 93 97)
 ))
(10
 (
  ("(x 2)" 3 10)
  ("(x 3)" 10 13)
  ("(x 4)" 13 15)
  ("(x 5)" 15 17)
  ("(x 6)" 17 36)
  ("(x 5)" 36 39)
  ("(x 4)" 39 42)
  ("(x 3)" 42 48)
  ("(x 2)" 48 62)
  ("(x 3)" 62 67)
  ("(x 2)" 67 77)
  ("(x 1)" 77 90)
  ("(x 2)" 90 92)
  ("(x up)" 4 6)
  ("(x down)" 6 26)
  ("(x up)" 26 52)
  ("(x stable)" 52 56)
  ("(x down)" 56 65)
  ("(x stable)" 65 66)
  ("(x up)" 66 82)
  ("(x stable)" 82 84)
  ("(x down)" 84 92)
  ("(y 5)" 3 12)
  ("(y 6)" 12 23)
  ("(y 5)" 23 29)
  ("(y 4)" 29 37)
  ("(y 3)" 37 41)
  ("(y 4)" 41 49)
  ("(y 5)" 49 62)
  ("(y 4)" 62 67)
  ("(y 3)" 67 71)
  ("(y 2)" 71 75)
  ("(y 1)" 75 92)
  ("(y down)" 4 19)
  ("(y up)" 19 40)
  ("(y down)" 40 56)
  ("(y up)" 56 89)
  ("(y stable)" 89 90)
  ("(y down)" 90 92)
 ))
(11
 (
  ("(x 2)" 3 5)
  ("(x 3)" 5 8)
  ("(x 4)" 8 10)
  ("(x 5)" 10 12)
  ("(x 6)" 12 29)
  ("(x 5)" 29 33)
  ("(x 4)" 33 37)
  ("(x 3)" 37 43)
  ("(x 2)" 43 66)
  ("(x 1)" 66 79)
  ("(x down)" 4 21)
  ("(x up)" 21 47)
  ("(x stable)" 47 50)
  ("(x up)" 50 74)
  ("(x stable)" 74 79)
  ("(y 5)" 3 8)
  ("(y 6)" 8 18)
  ("(y 5)" 18 24)
  ("(y 4)" 24 39)
  ("(y 5)" 39 52)
  ("(y 4)" 52 56)
  ("(y 3)" 56 59)
  ("(y 2)" 59 62)
  ("(y 1)" 62 79)
  ("(y down)" 4 13)
  ("(y stable)" 13 14)
  ("(y up)" 14 32)
  ("(y stable)" 32 33)
  ("(y down)" 33 46)
  ("(y up)" 46 75)
  ("(y down)" 75 79)
 ))
(12
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 8)
  ("(x 4)" 8 10)
  ("(x 5)" 10 12)
  ("(x 6)" 12 30)
  ("(x 5)" 30 34)
  ("(x 4)" 34 39)
  ("(x 3)" 39 44)
  ("(x 2)" 44 69)
  ("(x 1)" 69 81)
  ("(x down)" 4 21)
  ("(x stable)" 21 22)
  ("(x up)" 22 55)
  ("(x down)" 55 63)
  ("(x up)" 63 76)
  ("(x stable)" 76 77)
  ("(x down)" 77 81)
  ("(y 5)" 3 9)
  ("(y 6)" 9 19)
  ("(y 5)" 19 26)
  ("(y 4)" 26 40)
  ("(y 5)" 40 52)
  ("(y 4)" 52 56)
  ("(y 3)" 56 59)
  ("(y 2)" 59 63)
  ("(y 1)" 63 81)
  ("(y down)" 4 15)
  ("(y up)" 15 33)
  ("(y down)" 33 47)
  ("(y up)" 47 76)
  ("(y down)" 76 81)
 ))
(13
 (
  ("(x 3)" 3 11)
  ("(x 4)" 11 14)
  ("(x 5)" 14 17)
  ("(x 6)" 17 34)
  ("(x 5)" 34 37)
  ("(x 4)" 37 40)
  ("(x 3)" 40 45)
  ("(x 2)" 45 74)
  ("(x 1)" 74 84)
  ("(x up)" 4 5)
  ("(x stable)" 5 6)
  ("(x down)" 6 26)
  ("(x up)" 26 51)
  ("(x stable)" 51 52)
  ("(x up)" 52 59)
  ("(x stable)" 59 60)
  ("(x up)" 60 83)
  ("(x down)" 83 84)
  ("(y 5)" 3 12)
  ("(y 6)" 12 22)
  ("(y 5)" 22 27)
  ("(y 4)" 27 46)
  ("(y 5)" 46 57)
  ("(y 4)" 57 61)
  ("(y 3)" 61 65)
  ("(y 2)" 65 68)
  ("(y 1)" 68 84)
  ("(y down)" 4 18)
  ("(y up)" 18 37)
  ("(y down)" 37 52)
  ("(y up)" 52 83)
  ("(y down)" 83 84)
 ))
(14
 (
  ("(x 2)" 3 6)
  ("(x 3)" 6 8)
  ("(x 4)" 8 10)
  ("(x 5)" 10 12)
  ("(x 6)" 12 28)
  ("(x 5)" 28 32)
  ("(x 4)" 32 36)
  ("(x 3)" 36 40)
  ("(x 2)" 40 74)
  ("(x down)" 4 20)
  ("(x up)" 20 58)
  ("(x stable)" 58 71)
  ("(x down)" 71 74)
  ("(y 5)" 3 5)
  ("(y 6)" 5 17)
  ("(y 5)" 17 21)
  ("(y 4)" 21 29)
  ("(y 3)" 29 32)
  ("(y 4)" 32 39)
  ("(y 5)" 39 49)
  ("(y 4)" 49 52)
  ("(y 3)" 52 55)
  ("(y 2)" 55 58)
  ("(y 1)" 58 74)
  ("(y down)" 4 12)
  ("(y up)" 12 31)
  ("(y down)" 31 45)
  ("(y up)" 45 72)
  ("(y down)" 72 74)
 ))
(15
 (
  ("(x 3)" 3 6)
  ("(x 4)" 6 9)
  ("(x 5)" 9 13)
  ("(x 6)" 13 29)
  ("(x 5)" 29 32)
  ("(x 4)" 32 35)
  ("(x 3)" 35 38)
  ("(x 2)" 38 77)
  ("(x down)" 4 22)
  ("(x up)" 22 47)
  ("(x stable)" 47 50)
  ("(x down)" 50 57)
  ("(x stable)" 57 77)
  ("(y 5)" 3 6)
  ("(y 6)" 6 17)
  ("(y 5)" 17 23)
  ("(y 4)" 23 38)
  ("(y 5)" 38 50)
  ("(y 4)" 50 53)
  ("(y 3)" 53 56)
  ("(y 2)" 56 60)
  ("(y 1)" 60 77)
  ("(y down)" 4 13)
  ("(y up)" 13 31)
  ("(y stable)" 31 32)
  ("(y down)" 32 45)
  ("(y up)" 45 74)
  ("(y down)" 74 77)
 ))
(16
 (
  ("(x 2)" 3 7)
  ("(x 3)" 7 10)
  ("(x 4)" 10 12)
  ("(x 5)" 12 15)
  ("(x 6)" 15 32)
  ("(x 5)" 32 35)
  ("(x 4)" 35 38)
  ("(x 3)" 38 41)
  ("(x 2)" 41 68)
  ("(x 1)" 68 76)
  ("(x down)" 4 23)
  ("(x up)" 23 53)
  ("(x stable)" 53 59)
  ("(x up)" 59 73)
  ("(x stable)" 73 76)
  ("(y 5)" 3 6)
  ("(y 6)" 6 18)
  ("(y 5)" 18 23)
  ("(y 4)" 23 41)
  ("(y 5)" 41 49)
  ("(y 4)" 49 54)
  ("(y 3)" 54 57)
  ("(y 2)" 57 61)
  ("(y 1)" 61 76)
  ("(y down)" 4 13)
  ("(y stable)" 13 14)
  ("(y up)" 14 32)
  ("(y stable)" 32 33)
  ("(y down)" 33 46)
  ("(y up)" 46 74)
  ("(y stable)" 74 75)
  ("(y down)" 75 76)
 ))
(17
 (
  ("(x 2)" 3 8)
  ("(x 3)" 8 11)
  ("(x 4)" 11 13)
  ("(x 5)" 13 17)
  ("(x 6)" 17 34)
  ("(x 5)" 34 37)
  ("(x 4)" 37 40)
  ("(x 3)" 40 42)
  ("(x 2)" 42 70)
  ("(x 1)" 70 79)
  ("(x down)" 4 25)
  ("(x up)" 25 49)
  ("(x stable)" 49 50)
  ("(x down)" 50 60)
  ("(x up)" 60 76)
  ("(x stable)" 76 77)
  ("(x down)" 77 79)
  ("(y 5)" 3 10)
  ("(y 6)" 10 21)
  ("(y 5)" 21 26)
  ("(y 4)" 26 44)
  ("(y 5)" 44 53)
  ("(y 4)" 53 56)
  ("(y 3)" 56 59)
  ("(y 2)" 59 63)
  ("(y 1)" 63 79)
  ("(y down)" 4 17)
  ("(y up)" 17 35)
  ("(y stable)" 35 36)
  ("(y down)" 36 49)
  ("(y up)" 49 76)
  ("(y down)" 76 79)
 ))
(18
 (
  ("(x 2)" 3 11)
  ("(x 3)" 11 13)
  ("(x 4)" 13 15)
  ("(x 5)" 15 18)
  ("(x 6)" 18 34)
  ("(x 5)" 34 36)
  ("(x 4)" 36 39)
  ("(x 3)" 39 42)
  ("(x 2)" 42 79)
  ("(x up)" 4 5)
  ("(x stable)" 5 6)
  ("(x down)" 6 25)
  ("(x up)" 25 50)
  ("(x stable)" 50 54)
  ("(x down)" 54 61)
  ("(x stable)" 61 63)
  ("(x down)" 63 74)
  ("(x stable)" 74 78)
  ("(x up)" 78 79)
  ("(y 5)" 3 9)
  ("(y 6)" 9 20)
  ("(y 5)" 20 25)
  ("(y 4)" 25 31)
  ("(y 3)" 31 38)
  ("(y 4)" 38 44)
  ("(y 5)" 44 54)
  ("(y 4)" 54 57)
  ("(y 3)" 57 60)
  ("(y 2)" 60 64)
  ("(y 1)" 64 79)
  ("(y down)" 4 16)
  ("(y up)" 16 35)
  ("(y down)" 35 50)
  ("(y up)" 50 78)
  ("(y down)" 78 79)
 ))
(19
 (
  ("(x 2)" 3 5)
  ("(x 3)" 5 8)
  ("(x 4)" 8 10)
  ("(x 5)" 10 12)
  ("(x 6)" 12 26)
  ("(x 5)" 26 29)
  ("(x 4)" 29 32)
  ("(x 3)" 32 37)
  ("(x 2)" 37 59)
  ("(x 1)" 59 67)
  ("(x 2)" 67 72)
  ("(x down)" 4 19)
  ("(x stable)" 19 20)
  ("(x up)" 20 41)
  ("(x stable)" 41 42)
  ("(x down)" 42 48)
  ("(x stable)" 48 49)
  ("(x up)" 49 61)
  ("(x stable)" 61 65)
  ("(x down)" 65 72)
  ("(y 5)" 3 7)
  ("(y 6)" 7 17)
  ("(y 5)" 17 22)
  ("(y 4)" 22 29)
  ("(y 3)" 29 31)
  ("(y 4)" 31 38)
  ("(y 5)" 38 49)
  ("(y 4)" 49 52)
  ("(y 3)" 52 54)
  ("(y 2)" 54 56)
  ("(y 1)" 56 72)
  ("(y down)" 4 13)
  ("(y up)" 13 31)
  ("(y down)" 31 45)
  ("(y up)" 45 68)
  ("(y stable)" 68 69)
  ("(y down)" 69 72)
 ))
(20
 (
  ("(x 2)" 3 9)
  ("(x 3)" 9 12)
  ("(x 4)" 12 14)
  ("(x 5)" 14 16)
  ("(x 6)" 16 34)
  ("(x 5)" 34 37)
  ("(x 4)" 37 39)
  ("(x 3)" 39 43)
  ("(x 2)" 43 81)
  ("(x up)" 4 6)
  ("(x down)" 6 25)
  ("(x up)" 25 50)
  ("(x down)" 50 58)
  ("(x stable)" 58 60)
  ("(x up)" 60 78)
  ("(x stable)" 78 81)
  ("(y 5)" 3 11)
  ("(y 6)" 11 21)
  ("(y 5)" 21 27)
  ("(y 4)" 27 43)
  ("(y 5)" 43 53)
  ("(y 4)" 53 57)
  ("(y 3)" 57 60)
  ("(y 2)" 60 64)
  ("(y 1)" 64 81)
  ("(y down)" 4 17)
  ("(y up)" 17 35)
  ("(y down)" 35 49)
  ("(y up)" 49 77)
  ("(y stable)" 77 78)
  ("(y down)" 78 81)
 ))
